import sympy as sym
def le(x,y):
    return sym.Le(x,y)
